first-order predicate calculus

un. 一阶谓词演算
[网络] 第一阶述语运算

热门查询

chanson　　n. （法）歌曲；小调；法国香颂 n. (Chanson)人名；(法)尚松
ARMANI　　n. 阿玛尼（奢侈品品牌）
snitch　　n. 告密者；告发者 vt. 偷；顺手牵羊 vi. 告密；进行小偷小摸
weep　　n. 哭泣；眼泪；滴下 vt. 哭泣；流泪；悲叹；流出或渗出液体 vi. 哭泣；流泪；哀悼；滴落；渗出液体
Gatting　　abbr. General Agreement on Tariffs and Trade关(税及)贸(易)总协定
trace　　n. 痕迹，踪迹；微量；[仪] 迹线；缰绳 vt. 追踪，查探；描绘；回溯 vi. 追溯；沿路走
proctor　　n. 代理人；学监 vt. 监督 n. (Proctor)人名；(英、瑞典)普罗克特
Johanne　　n. (Johanne)人名；(德、丹)约翰妮
willing　　adj. 乐意的；自愿的；心甘情愿的 v. 决心；用意志力驱使；将（财产等）遗赠某人（will的现在分词） n. (Willing)人名；(德、芬、瑞典)维林；(英)威林
saltine　　n. 撒盐饼干
foodborne　　食物传播的食物传染的
NFC　　abbr. 国家足球联盟（National Football Conference）
catafalque　　n. 灵车；灵柩台
flinders　　n. 碎片；破片（flinder的复数） n. (Flinders)人名；(英)弗林德斯
shitty　　adj. 较差的；劣等的
Biarritz　　宽袖中长手套, 双面纬向棱纹毛呢
blustery　　adj. 大风的；狂暴的，吵闹的
Oxfam　　abbr. 牛津饥荒救济委员会（Oxford Committee for Famine Relief）
reignite　　vt. 再次点燃；重新激起…；再点火
romanticized　　vi. 浪漫化；传奇化 vt. 使浪漫化；使传奇化